In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments. This semantics is compared with the usual relational semantics for dynamic predicate logic: it is shown that the most important intuitions of the usual semantics are preserved. Then it is shown that the refined semantics reflects out intuitions about information growth. Some other issues in dynamic semantics are formulated and discussed in terms of the new sequence semantics.

The development of the dynamic semantics of natural languagehas put issues of variable control on the agenda of formal semantics. Inthis paper we regard variables as names for stacks of values and makeexplicit several control actions as push and pop actions on stacks. Weapply this idea both to static and dynamic languages and compare theirfinite variable hierarchies, i.e., the relation between the number ofvariable stacks that is available and the expressivity of the language.This can be compared in natural languages with (...) relating the number ofpronouns available to the expressivity of the language.The results are obtained using techniques from static and dynamic modeltheory: model theoretic games, transition systems and bisimulation. (shrink)

This paper is concerned with the structure of texts in which aproof is presented. Some parts of such a text are assumptions, otherparts are conclusions. We show how the structural organisation of thetext into assumptions and conclusions helps to check the validity of theproof. Then we go on to use the structural information for theformulation of proof rules, i.e., rules for the (re-)construction ofproof texts. The running example is intuitionistic propositional logicwith connectives , and. We give new proofs of some (...) familiar results aboutthe proof theory of this logic to indicate how the new techniques workout. (shrink)

Companies do have ethical responsibility and are not protected by limited liability from the consequences of their actions. A company's record and the preception of its ethics affect its reputation and ensure long term success or failure.The financial community has a history of placing moral considerations above legal or opportunistic expedients. But we are often exposed to moral dangers and the dangers of contamination are increasing. Deregulation and the technological revolution are sharpening ethical conflicts.

Tradition in either of its two senses—the act of handing on , and what is handed on—is a particular instance of a law of human existence that men live in dependence on one another and by the processes of giving and receiving. So a sociologist can write, ‘If we are able to speak of real tradition, we must find the past spontaneously taken into account as the meaning of the present, without any discontinuity of social time, and without any consideration (...) of the past as irrelevant’ . ‘If democracy’, wrote Chesterton, ‘means that I give a man a vote even though he is my chauffeur, tradition means that I give a man a vote even though he is my great-great-grandfather’. What is handed on, however, is not existence of a purely biological kind, to remain always what it has been or to change very slowly over a space of aeons. Except in primitive tribes even tradition is not simply passed on as something static and timeless, and it is received by men who, though themselves in time, are not totally time-bound or restricted by what they receive. They believe themselves to be capable of significant action which is more than the repetition and reproduction of what has gone before. They are able to grasp a span of time and to call it history; they believe themselves to have a history, and they write history. (shrink)

Corporate governance is increasingly becoming an issue of global concern, not least because we are more and more living in a corporate world that transcends international boundaries. The main purpose and motivation of this study is to determine how the international community should motivate businesses in fostering exemplary corporate governance, therefore eliminating obstacles to ethically exemplary behavior. The empirical approach utilized here has been applied to 161 businesses, both listed and over-the-counter (OTC) companies, with the results indicating that ethical considerations, (...) corporate governance and organizational performance are inextricably linked and, to an extent, demonstrably proportional. This study also indicates a major finding that family management is a significant mediating variable of the ethical considerations of corporate governance and organizational performance. Finally, this study has developed an operational model of ethical considerations of corporate governance as a consultancy aid for businesses that wish to implement and/or boost their performance in respect to corporate governance. (shrink)

In this paper we discuss the treatment of variables in dynamic semantics. Referent systems are introduced as a flexible mechanism for working with variables. In a referent system we carefully distinguish the variables themselves both from the machinery by which we manipulate them - their names - and from the information that we store in them - their values. It is shown that the referent systems provide a natural basis for dynamic semantics. The semantics with referent systems is compared with (...) the familiar formalisms in dynamic semantics, DRT and DPL. (shrink)

Interdisciplinarity has seemingly become a paradigm for modern and meaningful research. Clearly, the interdisciplinary modus of deliberation enables to unfold relevant but quite different disciplinary perspectives to the reflection of broader scientific questions or societal problems. However, whether the comprehensive results of interdisciplinary reflection prove to be valid or to be acceptable in trans-disciplinary terms depends upon certain preconditions, which have to be fulfilled for securing scientific quality and social trust in advisory contexts. The present book is written by experts (...) and practitioners of interdisciplinary research and policy advice. It analyses topical and methodological approaches towards interdisciplinarity, starting with the current role of scientific research in society. The volume continues with contributions to the issues of knowledge and acting and to trans-disciplinary deliberation. The final conclusions address the scientific system as substantial actor itself as well as the relevant research and education politics. (shrink)

Some humanist theologians within the French Reformed Church in the 17th century developed the notion that a disability of the intellect could exist in nature independently of any moral defect, freeing its possessors from any obligations of natural law. Sharpened by disputes with the church leadership, this notion began to suggest a species-type classification that threatened to override the importance of the boundary between elect and reprobate in the doctrine of predestination. This classification seems to look forward to the natural (...) history of mind that emerged later in the century. (shrink)

This paper explores the question of whether or not the law is a computable number in the sense described by Alan Turing in his 1937 paper ‘On computable numbers with an application to the Entscheidungsproblem.’ Drawing upon the legal, social, and political context of Alan Turing’s own involvement with the law following his arrest in 1952 for the criminal offence of gross indecency, the article explores the parameters of computability within the law and analyses the applicability of Turing’s computability thesis (...) within the context of legal decision-making. (shrink)

Curio’s six lictors with laureled fasces (Cic. Att. 10.4.9) are best explained by his holding command in 49 BC not as Caesar’s legatus, but pro praetore with imperium nominally in his own right, granted (‘extra-constitutionally’) by Caesar directly, without vote of Senate and People.

The Battle of Drepana in 249 b.c. marks the most significant defeat of Roman naval forces at the hands of their Carthaginian opponents during the First Punic War. Attempting to take the Punic fleet in the harbour of Drepana by surprise, the consul P. Claudius Pulcher sailed with his ships from Lilybaeum about midnight, and reached Drepana at dawn. Yet, owing to swift and level-headed counter-measures taken by the Punic commander, Adherbal, the unfolding fight – partly in the harbour, mostly (...) off the shore – turned into a fiasco for the Romans. The consul got away; he returned to Rome, where the Senate instructed him to appoint a dictator. How soon he returned, and by what route, is the question. (shrink)

It is generally believed that Polybios mistook L. Iunius Pullus (cos. 249) for one of the consuls of 248 B. C. The internal evidence of Polybios’ narrative shows clearly that he knew the correct year of Iunius’ consulship, and inadvertently created a false impression of the date by structuring his account so as to tell the story of the Roman siege of Lilybaeum without interruption, from its inception in 250 to Claudius Pulcher’s defeat at Drepana in the following year. This (...) narrative objective led him to postpone the paragraph (1.52.4-5) detailing the Roman reaction to the disastrous siege operations of 250 and the consular elections for 249 until after his account of Drepana, without considering how such an arrangement could mislead readers two millenia hence. (shrink)

It is argued that (1) the alleged violation of the auspices by both the Consuls of 249 B. C. did in fact occur and (2) resulted in separate prosecutions directed at each of them; (3) the name ‘Pullius’, reported for one of the plebeian Tribunes that prosecuted P. Claudius Pulcher, is probably authentic; (4) the cognomen of L. Iunius Pullus is not spun out the violation of the auspices attributed to him and his colleague; and (5) the cognomen ‘Pulcher’, first (...) born by the Consul of 249, may actually derive from his drowning of the Chickens. (shrink)